#include <stdio.h>

int max(int, int);

int main(){
    printf("max = %d\n", max(1, 3));

    return 0;
}